/*test 
 */
struct list{
	int data;
	struct list * next;
};
/*@head!=null&&length>0*/
struct list init(struct list * head,int length)
{
	struct list * p,q;
	p=head;
	}
/*@*/



/*@*/
void main()
{
  	array [10,struct list *] a;
       	a=init(a);
       	printarray(a);
	return;
}
/*@*/
